home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / fweb / fweb-1.30 / manual / demos.sty < prev    next >
Encoding:
Text File  |  1993-06-16  |  376 b   |  14 lines
  1. % --- This style file is used for the demos included into the manual ---
  2.  
  3. % Non-default names for the TeX output files.
  4. index.tex "#.ndx"
  5. modules.tex "#.mds"
  6. contents.tex "#.cts"
  7.  
  8. % Subscript symbols with the module number where they were defined.
  9. mark_defined.fcn_name 1
  10. mark_defined.WEB_macro 1
  11. mark_defined.outer_macro 1
  12. mark_defined.exp_type 1
  13. mark_defined.typedef_name 1
  14.